AFF4-L: A Scalable Open Logical Evidence Container
نویسندگان
چکیده
منابع مشابه
Wirespeed: Extending the AFF4 forensic container format for scalable acquisition and live analysis
Current approaches to forensic acquisition are failing to scale to large devices and fast storage interfaces. The research described in this paper identifies limitations in current widely deployed forensic image formats which limit both the ability to acquire evidence at maximal rates, and to undertake live analysis in today's environment. Extensions to the AFF4 forensic file format are propose...
متن کاملEndofday: A Container Workflow Engine for Scalable, Reproducible Computation
Container technologies such as Docker [1] are transforming the way distributed systems are deployed onto cloud platforms by providing a simple mechanism for packaging and isolating an application and its dependencies from the host machine on which it is running. The same ideas and technologies can be applied to computational science applications to obtain exceptional ease of installation and re...
متن کاملAn open logical framework
The LFP Framework is an extension of the Harper-Honsell-Plotkin’s Edinburgh Logical Framework LF with external predicates, hence the name Open Logical Framework. This is accomplished by defining lock type constructors, which are a sort of -modality constructors, releasing their argument under the condition that a possibly external predicate is satisfied on an appropriate typed judgement. Lock t...
متن کاملOpen Problems in Logical Dynamics
In recent years, a number of 'dynamic epistemic logics' have been developed for dealing with information, communication, and interaction. This paper is a survey of conceptual issues and open mathematical problems emanating from this development. 1 Logical Dynamics The traditional paradigm of logic is drawing a conclusion from some given premises. But derivation from data already at our disposal...
متن کاملThe Nuprl Open Logical Environment
D. McAllester, ed. 17 International Conference on Automated Deduction, LNAI 1831, pp. 170–176, c ©Springer Verlag, 2000. Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-scale applications. Nuprl LPE, the newest release, features an open, distributed architecture cent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Digital Investigation
سال: 2019
ISSN: 1742-2876
DOI: 10.1016/j.diin.2019.04.016